Language and Computation - PDFSEARCH.IO - Document Search Engine

Language and Computation
Results: 343

#	Item
201	CALL FOR PAPERS NASSLLI 2014 STUDENT SESSION June 23-27, 2014 University of Maryland, College Park The North American Summer School for Logic, Language and Information (NASSLLI) welcomes Add to Reading List Source URL: web.pacuit.org Language: English - Date: 2014-09-16 15:33:14 Carnegie Mellon University Logic Knowledge Academia Science Institute for Logic Language and Computation
202	Implementing Dependent Types in Haskell Andres L¨ oh1 joint work with Conor McBride2 and Wouter Swierstra2 1 Universiteit 2 University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Computer science Programming language theory Theory of computation Logic in computer science Models of computation System F Typed lambda calculus Simply typed lambda calculus Type system Theoretical computer science Lambda calculus Type theory
203	Dependent Types at Work Ana Bove and Peter Dybjer Chalmers University of Technology, G¨ oteborg, Sweden {bove,peterd}@chalmers.se Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-04 09:56:00 Type theory Functional languages Lambda calculus Logic in computer science Theory of computation Agda Intuitionistic type theory Dependent type Typed lambda calculus Software engineering Programming language theory Theoretical computer science
204	A Unified Approach to Model Non-Functional Properties of Mobile Context-Aware Software ? Luca Berardinelli, Vittorio Cortellessa, and Antinisca Di Marco Dipartimento di Informatica Universit` a dell’Aquila Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2009-09-26 10:05:20 Software development Science Models of computation UML diagrams Systems engineering State diagram Unified Modeling Language Reliability engineering Software development methodology Diagrams Design Infographics
205	Manifesto from Dagstuhl Perspectives Workshop[removed]Computation and Palaeography: Potentials and Limits∗ Edited by Tal Hassner1 , Malte Rehbein2 , Peter A. Stokes3 , and Lior Wolf4 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2013-07-30 04:30:50 Papyrology Language Digitizing Digital humanities Geographic information system Transcription Image analysis Science Linguistics Writing Auxiliary sciences of history Palaeography
206	Finite-State Transducer Cascade to Extract Proper Names in Texts Nathalie Friburger and Denis Maurel Laboratoire d’Informatique de Tours E3i, 64 avenue Jean Portalis, 37000 Tours {friburger,maurel}@univ-tours.fr Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-04-03 11:21:43 Models of computation Language Computational linguistics Natural language processing Speech recognition Finite state transducer Finite-state machine Family name Proper noun Linguistics Languages of Europe Automata theory
207	A Type Theory with Partial Equivalence Relations as Types Abhishek Anand, Mark Bickford, Robert L. Constable and Vincent Rahli Cornell University Abstract A small core type language with intersection types in which a par Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-04-23 10:39:41 Theoretical computer science Programming language theory Formal methods Models of computation Type system Partial equivalence relation Equivalence relation Lambda calculus Dependent type Type theory Data types Mathematics
208	Using Finite State Technology in Natural Language Processing of Basque Iñaki Alegria, Maxux Aranzabe, Nerea Ezeiza, Aitzol Ezeiza, and Ruben Urizar Ixa taldea, University of the Basque Country, Spain [removed] Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-01-27 09:29:09 Automata theory Models of computation Inflection Transducer Agglutination Lexicon Morpheme Finite-state machine Morphology Linguistics Linguistic morphology Grammar
209	The Declaratron, semantic specification for scientific computation using MathML Dave Murray-Rust1 and Peter Murray-Rust2 1 [removed], Department of Informatics, University of Edinburgh Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-06 08:54:02 Mathematical software Mathematical markup languages MathML OpenMath Chemical Markup Language Mathematical notation Denotational semantics Mathematica XML Computing Markup languages Science
210	Expressiveness of streaming string transducers Rajeev Alur1 and Pavol Černý[removed]University of Pennsylvania Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-12-13 12:13:47 Theoretical computer science Software engineering Models of computation Data types Primitive types Finite state transducer Finite-state machine Regular language String Formal languages Automata theory Mathematics

UPDATE